<center>
<table cellpadding="1">
<tr>
<td bgcolor="#000000">
<table cellspacing="2" cellpadding="0">
<tr>
<td bgcolor="#eeeeee">
<table>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Theorems</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:t/> (<NS:template dbstats:unproventheorems/> unproven)</td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Corollaries</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:c/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Definitions</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:d/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Results</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:r/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Proofs</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:p/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Algorithms</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:a/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Data Structures</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:s/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Axioms</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:x/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Topics</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:o/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Biographies</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:b/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Total Objects</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Dirty Objects</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:invalid/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Objects In Build</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:objects:inbuild/></td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Cross-references</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:xrefs/> (<NS:template dbstats:xrefsperobject/> per object)</td>
</tr>
<tr>
<td bgcolor="#eeeeee"><b><font color="#990000">Users</font></b></td>
<td bgcolor="#ffffff"><NS:template dbstats:users/></td>
</tr>
<tr>
<td bgcolor="#eeeeee" valign="top"><b><font color="#990000">File cache</font></b></td>
<td bgcolor="#ffffff"><NS:template filecache:invalidations/> invalidations / <NS:template filecache:hits/> hits<br><NS:template filecache:files/> files cached</td>
</tr>
</table>
</td>
</tr>
</table>
</td>
</tr>
</table>
</center>

